0x1234 # Comment after number